有奖纠错
| 划词

These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

这些贡编程语言和数据类的公理化,验证,约与分析。

评价该例句:好评差评指正

用户正在搜索


abscisin, absciss, abscissa, abscission, abscissus, abscond, abscondee, abscondence, absconditus, absconsio,

相似单词


3G, 401(K), a,

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

背诵为王第二册(70课全)

He quickly learned the programming language called BASIC.

他很快学会了叫做BASIC的程语言

评价该例句:好评差评指正
2018年精彩毕业演讲合辑

Don't shy away from learning new programming languages, new tools, new libraries.

不要逃避学习新的程序设计语言,新的工具和新的函数库。

评价该例句:好评差评指正
剑桥学霸读书分享

In particular, learning Python which is the world's most popular programming language.

别是学习世界上最流行的程语言 Python

评价该例句:好评差评指正
简单心理学

About half the participants were presented with Python, a popular text-based programming language.

大约半的参与者使用了 Python,流行的基于文本的程语言。

评价该例句:好评差评指正
连线杂志

Developers can use ChatGPT to get code assistance for specific programming languages, libraries, or frameworks.

开发人员可以使用 ChatGPT 获得程语言、库或框架的代码帮助。

评价该例句:好评差评指正
乔布斯传

Next he created for the Apple II a version of Pascal, a high-level programming language.

下来他又成功地将Pascal语言移植到 Apple II 上,这是程语言。

评价该例句:好评差评指正
连线杂志

But in the very first week we use an even simpler programming language called Carol.

但在第周,我们使用的是更简单的程语言,称为 Carol。

评价该例句:好评差评指正
经济学人(汇总)

Oracle argues that Google unlawfully reused parts of Java, a programming language, in its Android smartphones.

甲骨文方面认为,谷歌在其安卓智能手机中非法重用了程语言Java的部分内容。

评价该例句:好评差评指正
连线杂志

ChatGPT itself was programmed using a variety of programming languages including Python, TensorFlow, and PyTorch among others.

ChatGPT 本身使用多程语言进行程,包括 Python、TensorFlow 和 PyTorch 等。

评价该例句:好评差评指正
科学60秒 听力 2016年4月合集

So Voigt and his colleagues created what he calls the first human-made " programming language" for living cells.

所以,沃伊和同事们创造了人类首例的活细胞" 程语言"

评价该例句:好评差评指正
连线杂志

Did you know the name Python, the name for this programming language, actually comes from Monty Python's Flying Circus?

你知道 Python 这个名字吗,这程语言的名字实际上来自 Monty Python 的飞行马戏团?

评价该例句:好评差评指正
Apple 最新资讯

Programming languages have some undefined behaviors, such as what to do with misaligned pointers or when encountering signed integer overflows.

程语言些未义行为,例如如何处理偏离的指针以及遇到带符号整数溢出时该怎么办。

评价该例句:好评差评指正
华尔街日报

But when it began, Adobe only offered one product: PostScript, a programming language designed to print documents on Laser Printers.

但当它刚开始成立时,Adobe 只提供产品:PostScript,旨在在激光打印机上打印文档的程语言

评价该例句:好评差评指正
大神带你过雅思口语

I would like to study Python programming language.

- 我想学习 Python 程语言。

评价该例句:好评差评指正
OpenAI开发者发布会

It can write code in all major programming languages.

它可以用所有主要的程语言写代码

评价该例句:好评差评指正
Veritasium真理元素

Nearly every programming language in existence is designed to be Turing-complete.

几乎每现有的程语言都被设计为图灵完备的。

评价该例句:好评差评指正
乔布斯传

Bitmapping and graphical interfaces became features of Xerox PARC's prototype computers, such as the Alto, and its object-oriented programming language, Smalltalk.

位图显示和图形界面成为了施乐 PARC 开发的电脑样机(比如“奥图”电脑)和面向对象的程语言 Smalltalk 的性。

评价该例句:好评差评指正
科技 Crash Course

Modern programming languages come with huge bundles of pre-written functions, called Libraries.

现代程语言带有大量预写函数,称为库。

评价该例句:好评差评指正
Research articles

It's like having a genetic programming language.

这就像拥有个基因程语言。

评价该例句:好评差评指正
stanger things

It's a computer programming language. - Teach it to me.

电脑程语言 -那你赶紧教我。

评价该例句:好评差评指正
加载更多

用户正在搜索


absenteeism, absentia, absently, absentminded, absent-minded, absentmindedly, absent-mindedly, absent-mindedness, ABSIE, absinth,

相似单词


3G, 401(K), a,
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接